// FIR_IDENTICAL
// DIAGNOSTICS: -UNUSED_PARAMETER

val prop = mapOf(
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b"),
    to("a", "b")
)

fun <A, B> to(a: A, b: B): Pair<A, B> = TODO()
fun <K, V> mapOf(vararg pairs: Pair<K, V>): Map<K, V> = TODO()

class Pair<out A, out B>